List Prolog and SSI

List Prolog

- Can write a list of variables, including assertz in trace.

SSI

- Can go to any previous choicepoint in trace (find a choicepoint by attribute and go to a previous/next choicepoint).
- Teleport to a future choicepoint (as long as there are no user inputs/random numbers/external commands)
- Save states of the interpreter to return to later